361. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
354
362. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing
رده :
QA
76
.
5
.
L523
1989
363. Logic programming : Prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan.
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
364. Logics for concurrency : structure versus automata
پدیدآورنده : Faron Moller, Graham Birtwistle )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1043
365. Making its mark: proceedings of the seventh ECMWF Workshop on the Use of Parallel Processors in Meteorology, Reading, UK, November 2-6, 1996
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Meteorology-- Mathematical models Data processing,Congresses ، Atmospheric physics-- Mathematical models Data processing,Congresses ، Multiprocessors,Congresses ، Parallel processing )Electronic computers(
رده :
QC
874
.
3
.
E26
1996
366. Massive parallelism: hardware, software, and applications : proceedings of the 2nd international workshop, Capri, Italy, 3-7 October, 1994
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
M37
1994
367. Massively parallel models of computation
پدیدآورنده : Valmir C. Barbosa
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع : Parallel programming (Computer science),Parallel processing (Electronic computers),Neural networks (Computer science),Parallel programming
رده :
QA
,
76
.
642
,
B37
,
1993
368. Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium Zakopane, Poland, September 4-8, 1978
پدیدآورنده : edited by J. Winkowski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
64
369. Mathematical foundations of parallel computing
پدیدآورنده : Voevodin, Valentin V.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel processing )Electronic computers( , Computer science - Mathematics
رده :
QA
76
.
58
.
V63
1992
370. Memory Architechture
پدیدآورنده : / Michael GOssel, Burghard Rebel, Reiner Creutzburg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Parallel Processing (electronic computers),Memory Management(Computer Science)
رده :
QA76
,.
58
.
G67
371. Microprocessor-based parallel architecture : for reliable digital signal processing systems
پدیدآورنده : George, Alan D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Signal processing-- Digital techniques-- Data processing,، Parallel processing )Electronic computers(,، Fault-tolerant computing
رده :
TK
5102
.
5
.
G42
1992
372. Modal and temporal properties of processes
پدیدآورنده : Stirling, Colin P.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
L63S74
373. Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
پدیدآورنده : Franck Cassez ... )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2067
374. Modelling and simulation of robot manipulators: a parallel processing approach
پدیدآورنده : Zomaya, Albert Y
موضوع : ، Manipulators )Mechanism(- Computer simulation,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
375. Modelling and simulation for robot manipulators: a parallel processing approach
پدیدآورنده : / Albert Y. Zomaya
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Manipulator (Mechanism)- Computer simulation,Parallel processing (Electronic computers),Robotics,Robots, Industrial
رده :
TJ211
.
47
.
Z66
1992
376. Modelling distributed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing. ; Parallel programs (Computer programs) ; Verification. ; Parall?lisme (Informatique) ; Traitement r?parti. ;
377. Modular construction and partial order semantics of Petri nets
پدیدآورنده : Vogler, Walter, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Petri nets
رده :
QA
76
.
L28
Vol
.
625
378. Modular construction and partial order semantics of Petri nets
پدیدآورنده : Vogler, Walter
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Petri nets
رده :
QA
76
.
58
.
V63
1992
379. Multi-core embedded systems
پدیدآورنده : edited by Georgios Kornaros
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Embedded computer systems,، Multiprocessors,، Parallel processing )Electronic computers(
رده :
TK
7895
.
E42
M848
2010
380. Multi-core embedded systems
پدیدآورنده : / edited by Georgios Kornaros
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Embedded computer systems.,Multiprocessors.,Parallel processing (Electronic computers)
رده :
TK7895
.
E42
,
M848
2010